Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions. The papers cover the following topics: algorithms, formal methods, and emerging fields.

Engineering & Applied Sciences --- Computer Science --- Computer science. --- Computers. --- Computer science --- Computer Science. --- Theory of Computation. --- Discrete Mathematics in Computer Science. --- Mathematics. --- Computational complexity --- Information theory --- Information theory. --- Computational complexity. --- Complexity, Computational --- Electronic data processing --- Machine theory --- Communication theory --- Communication --- Cybernetics --- Computer science—Mathematics. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Discrete mathematics. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Informatics --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions. The papers cover the following topics: algorithms, formal methods, and emerging fields.

Mathematical control systems --- Discrete mathematics --- Computer science --- Computer. Automation --- toegepaste informatica --- complexiteit --- discrete wiskunde --- computers --- informatica --- computerkunde --- informatietheorie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 31st International Workshop on Combinatorial Algorithms which was planned to take place in Bordeaux, France, during June 8–10, 2020. Due to the COVID-19 pandemic the conference changed to a virtual format. The 30 full papers included in this book were carefully reviewed and selected from 62 submissions. They focus on algorithms design for the myriad of combinatorial problems that underlie computer applications in science, engineering and business.

Combinatorial analysis. --- Combinatorics --- Algebra --- Mathematical analysis --- Computer science—Mathematics. --- Data structures (Computer science). --- Application software. --- Computer communication systems. --- Computer graphics. --- Algorithms. --- Discrete Mathematics in Computer Science. --- Data Structures. --- Information Systems Applications (incl. Internet). --- Computer Communication Networks. --- Computer Graphics. --- Algorithm Analysis and Problem Complexity. --- Algorism --- Arithmetic --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Foundations --- Digital techniques --- Distributed processing --- Discrete mathematics. --- Artificial intelligence—Data processing. --- Computer networks. --- Data Science. --- Computer and Information Systems Applications. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes revised selected papers from the 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, held in Lisbon, Portugal*, in September 2021. The 10 full papers presented in this volume were carefully reviewed and selected from 28 submissions. ALGOSENSORS is an international symposium dedicated to the algorithmic aspects of wireless networks. *The conference was held virtually due to the COVID-19 pandemic.

Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- informatica --- algoritmen --- KI (kunstmatige intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes revised selected papers from the 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, held in Aarhus, Denmark, in August 2016. The 9 full papers presented in this volume were carefully reviewed and selected from 19 submissions. This year papers were solicited into three tracks: Distributed and Mobile, Experiments and Applications, and Wireless and Geometry.

Computer science. --- Computer communication systems. --- Data structures (Computer science). --- Computers. --- Algorithms. --- Computer science --- Artificial intelligence. --- Computer Science. --- Algorithm Analysis and Problem Complexity. --- Computation by Abstract Devices. --- Computer Communication Networks. --- Mathematics of Computing. --- Artificial Intelligence (incl. Robotics). --- Data Structures. --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algorism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Informatics --- Mathematics --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra --- Arithmetic --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- File organization (Computer science) --- Abstract data types (Computer science) --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Science --- Foundations --- Distributed processing --- Computer software. --- Data structures (Computer scienc. --- Artificial Intelligence. --- Data structures (Computer science) --- Software, Computer --- Computer science—Mathematics. --- Wireless sensor networks --- Ad hoc networks (Computer networks) --- WSNs (Sensor networks) --- Computer networks --- Low voltage systems --- Sensor networks --- Wireless communication systems --- Context-aware computing --- MANETs (Computer networks) --- Mobile ad hoc networks --- Wireless ad hoc networks